An Eulerian Framework for Event-Based Pattern Verification
نویسندگان
چکیده
منابع مشابه
An expressive verification framework for state event systems
Specification languages for concurrent software systems need to combine practical algorithmic efficiency with high expressive power and the ability to reason about both states and events. We address this question by defining a new branching-time temporal logic SE-A which integrates both state-based and action-based properties. SE-A is universal, i.e., preserved by the simulation relation, and t...
متن کاملAn Event-Based Framework for Process Inference
We focus on a class of models used for representing the dynamics between a discrete set of probabilistic events in a continuous-time setting. The proposed framework offers tractable learning and inference procedures and provides compact state representations for processes which exhibit variable delays between events. The approach is applied to a heart sound labeling task that exhibits long-rang...
متن کاملPattern-Based Verification for Trees
Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verification of programs using dynamic data structures linked with pointers. It proved to be very efficient and promising on extended linear data structures. In this paper, we overview some possibilities how to extend this approach to...
متن کاملan investigation about the appropriate stochastic modeling framework for agricultural insurance pricing
با توجه به اینکه بیمه محصولات کشاورزی در ایران بیشتر جنبه ای حمایتی دارد و خسارات گزارش شده عموما بیش از حق بیمه های دریافت شده است، در این پایان نامه به جهت تعیین قیمت بیمه محصولات کشاورزی (گندم دیم) از فرآیندهای نوفه شلیک به عنوان مدلی مناسب استفاده شده است. بر اساس داده های صندوق بیمه کشاورزی از خسارات اعلام شده در سال زراعی 1388-1389 گندم دیم، در این پایان نامه حق بیمه خالص و ناخالص این محص...
mTrigger: An Event-based Framework for Location-based Mobile Triggers
Location-based triggers are the fundamental capability for supporting location-based advertisements, location-based entertainment applications, personal reminders, as well as presence-based information sharing applications. In this chapter, we describe the design and the implementation of mTrigger, an event-based framework for scalable processing of location-based mobile triggers (location trig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Weather and Forecasting
سال: 2017
ISSN: 0882-8156,1520-0434
DOI: 10.1175/waf-d-17-0065.1